1. Categories, types, and structures
Author: / Andrea Asperti, Giuseppe Longo
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991
2. Categories, types, and structures
Author: / Andrea Asperti, Giuseppe Longo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991
3. Categories, types, and structures : an introduction to category theory for the working computer scientist
Author: Asperti, Andrea
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Categories )Mathematics(
Classification :
QA
76
.
7
.
A76
1991
4. Mathematical knowledge management
Author: / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
Classification :
QA
,
76
.
95
,.
I565
,
2003
5. Mathematical knowledge management :Second International Conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings
Author: Andrea Asperti, Bruno Buchberger, James H. Davenport )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2594
6. Mathematical knowledge management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004 : proceedings
Author: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
3119
